(DEFUN DTAK00 (M N)
(COND ((NOT (LESSP 0. M)) 0.)
((LESSP 1. N)
(PLUS M (QUOTIENT (TIMES N (SUB1 N)) 2.) -1.))
((LESSP -1. N) M)
((EQUAL N -1.)
(PLUS (QUOTIENT (TIMES (ADD1 M) (PLUS M 2.)) 2.) -1.))
(T (PLUS (QUOTIENT (TIMES (DIFFERENCE M N)
(ADD1 (DIFFERENCE M N)))
2.)
(MINUS M)
-1.))))
(SETQ BASE (SETQ IBASE 10.))